Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
91	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
92	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
93	Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-11 05:00:03 Theoretical computer science Process calculi Jane Hillston PEPA Logic in computer science Metaphor Simulation Scientific modelling Stochastic Mathematical model Semantics Economic model
94	Forthcoming in a volume on the work of Keith Donnellan, edited by Joseph Almog (oxford University Press, Having in Mind Howard Wettstein University of California, Riverside Add to Reading List Source URL: philosophy.ucr.edu Language: English - Date: 2013-07-19 11:29:37 Philosophy Analytic philosophy Philosophy of language Logic Philosophical logic American philosophers Meaning Semantics Theory of descriptions Keith Donnellan Proper name Saul Kripke
95	Generating Quantifiers and Negation to Explain Homework Testing Jason Perry and Chung-chieh Shan Rutgers University Department of Computer Science Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2012-03-01 10:11:23 Logic Grammar Linguistics Semantics Syntax Predicate logic Grammatical Framework Logical Form Quantifier Parsing Phrase structure rules Categorial grammar
96	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
97	Description of The Initiation to General Semantics Workshop that took place Paris, April 23rd, 2016 Paris American Academy 277, rue St JacquesPARIS, 5-hour workshop. Many thanks to Peter CARMAN, the President of T Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2016-05-01 14:51:37 General semantics Philosophy Logic Human communication Abstraction Reasoning Alfred Korzybski Structural differential Mapterritory relation Inference Jumping to conclusions
98	3 PARAPHRASING: THE AUTHOR’S THOUGHTS IN YOUR WORDS I Add to Reading List Source URL: writing.colostate.edu Language: English - Date: 2010-10-17 13:04:34 Linguistics Philosophical logic Analytic philosophy Logic Semantics Philosophy of language Rhetoric Paraphrase Meaning Argument Sentence Language
99	Semantic Web Technologies to Reconcile Privacy and Context Awareness Norman M. Sadeh, Associate Professor, ISRI - School of Computer Science, CMU Abstract: Increasingly, application developers are looking for ways to pro Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2004-05-05 09:40:12 Web services Emerging technologies Knowledge engineering Semantic Web Context awareness Semantics Computing Information science Logic
100	Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-01 12:33:24 Logic Philosophy Semantics Computational linguistics Bayesian statistics Markov networks Logical consequence Probabilistic logic Probabilistic soft logic Distributional semantics Markov logic network Inference

UPDATE